669 research outputs found
On the relative proof complexity of deep inference via atomic flows
We consider the proof complexity of the minimal complete fragment, KS, of
standard deep inference systems for propositional logic. To examine the size of
proofs we employ atomic flows, diagrams that trace structural changes through a
proof but ignore logical information. As results we obtain a polynomial
simulation of versions of Resolution, along with some extensions. We also show
that these systems, as well as bounded-depth Frege systems, cannot polynomially
simulate KS, by giving polynomial-size proofs of certain variants of the
propositional pigeonhole principle in KS.Comment: 27 pages, 2 figures, full version of conference pape
Remittances and Reverse Flows in Developing Countries
This paper demonstrates that a significant portion of remittances is no longer available for domestic resource mobilization when they are used for debt servicing, capital flight, or reserve accumulation (reverse flows)
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
This paper studies propositional proof systems in which lines are sequents of decision trees or branching programs, deterministic or non-deterministic. Decision trees (DTs) are represented by a natural term syntax, inducing the system LDT, and non-determinism is modelled by including disjunction, ?, as primitive (system LNDT). Branching programs generalise DTs to dag-like structures and are duly handled by extension variables in our setting, as is common in proof complexity (systems eLDT and eLNDT).
Deterministic and non-deterministic branching programs are natural nonuniform analogues of log-space (L) and nondeterministic log-space (NL), respectively. Thus eLDT and eLNDT serve as natural systems of reasoning corresponding to L and NL, respectively.
The main results of the paper are simulation and non-simulation results for tree-like and dag-like proofs in LDT, LNDT, eLDT and eLNDT. We also compare them with Frege systems, constant-depth Frege systems and extended Frege systems
Fingerprinting Smart Devices Through Embedded Acoustic Components
The widespread use of smart devices gives rise to both security and privacy
concerns. Fingerprinting smart devices can assist in authenticating physical
devices, but it can also jeopardize privacy by allowing remote identification
without user awareness. We propose a novel fingerprinting approach that uses
the microphones and speakers of smart phones to uniquely identify an individual
device. During fabrication, subtle imperfections arise in device microphones
and speakers which induce anomalies in produced and received sounds. We exploit
this observation to fingerprint smart devices through playback and recording of
audio samples. We use audio-metric tools to analyze and explore different
acoustic features and analyze their ability to successfully fingerprint smart
devices. Our experiments show that it is even possible to fingerprint devices
that have the same vendor and model; we were able to accurately distinguish
over 93% of all recorded audio clips from 15 different units of the same model.
Our study identifies the prominent acoustic features capable of fingerprinting
devices with high success rate and examines the effect of background noise and
other variables on fingerprinting accuracy
On Nested Sequents for Constructive Modal Logics
We present deductive systems for various modal logics that can be obtained
from the constructive variant of the normal modal logic CK by adding
combinations of the axioms d, t, b, 4, and 5. This includes the constructive
variants of the standard modal logics K4, S4, and S5. We use for our
presentation the formalism of nested sequents and give a syntactic proof of cut
elimination.Comment: 33 page
Openness and growth in emerging Asian economies: Evidence from GMM estimations of a dynamic panel
With the progress of globalization, the openness-output nexus has drawn more attention than ever before. Results in this aspect, however, are inconclusive. Based on the average growth rate for the last two decades, we select 12 top performed Asian countries: Bangladesh, China, India, Indonesia, Korea Republic, Malaysia, Nepal, Pakistan, Philippines, Singapore, Sri Lanka, and Thailand. Working with these 12 emerging Asian economies over the 1971 to 2009 period, we find a positive and significant impact of openness on economic growth. The system GMM technique is used to overcome the shortcomings of endogeneity as found in most previous studies. While growth in labor force has insignificant effect on output growth, growth in capital stock exhibits a positive and significant impact on output growth. These findings have policy implications for other emerging economies of the world.Openness, growth, Asia, GMM estimations
- …